Merge branch 'ui-enum-values' into 'master'
authorTimm Bäder <mail@baedert.org>
Mon, 8 Jul 2019 07:14:48 +0000 (07:14 +0000)
committerTimm Bäder <mail@baedert.org>
Mon, 8 Jul 2019 07:14:48 +0000 (07:14 +0000)
commit138986f064aff2340f2d92075be0a46955dea30b
tree24b0bb2d9dd094aed916471656b6861fe2d9ad26
parentf286c99338361f028c515890abaab1474364220f
parentdbd2a815019f8493ef2b15f3ef45d6e41606df79
Merge branch 'ui-enum-values' into 'master'

Change the few examples that use a full GTK_ enum value in .ui files.

See merge request GNOME/gtk!987